机构名称：
¥ 1.0
数学家一直依靠计算机（Human，机械或电子）和机器在研究中（甚至是Milllennia）在他们的研究中进行依靠，如果有人考虑了诸如算盘之类的早期计算工具）。例如，自从纳皮尔（Napier）和其他人的早期对数表以来，数学家就知道构建大型数学对象数据集以执行计算并做出猜想的价值。Legendre和Gauss使用了人类计算机编制的大量质数表来猜测现在称为质数定理的内容；一个半世纪后，Birch和Swinnerton-Dyer类似地使用了早期电子计算机在有限领域的电气曲线上生成足够的数据，以提出自己对这些物体的著名猜想。和许多读者毫无疑问地利用了全部最广泛的数学数据集之一，即整数序列的在线百科全书，它已经获得了许多猜想和数学领域之间的意外联系和意外联系整数。在二十一世纪，如此大的数据库也是机器学习算法的关键培训数据，该算法有望自动化或至少极大地促进了在数学中产生综合和联系的过程。除了数据生成，另一种古老的用途
机器辅助证明| Terry Tao
主要关键词
相关文件推荐
